#ifndef __KTHREAD_H__
#define __KTHREAD_H__

#include <global/header/types.h>
#include <proc/proc.h>

int kthread_init(void);
proc_t kthread_create(const char *name, uint32_t level, uint32_t stack_size, void (*init) (void *arg), void *arg, int event_loop);

#endif
